1. 当 $k = 1$ 时,

从而有 $\bm m_1 = \bm r_1 + \bm P(1) \bm m_1$.

2. 当 $k \ge 2$ 时,

当 $X_0 = i$ 时, 有

从而有

从而得证.